Skip to content
This repository has been archived by the owner on Oct 22, 2024. It is now read-only.

github: add default permissions #1104

Merged
merged 1 commit into from
Jul 19, 2024
Merged

github: add default permissions #1104

merged 1 commit into from
Jul 19, 2024

Conversation

pohly
Copy link
Contributor

@pohly pohly commented Jul 19, 2024

This makes the GitHub actions more secure.

This makes the GitHub actions more secure.
@pohly pohly merged commit d14731f into intel:devel Jul 19, 2024
2 of 3 checks passed
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant